On the Classification of Computable Languages

نویسندگان

  • John Case
  • Efim B. Kinber
  • Arun Sharma
  • Frank Stephan
چکیده

1 Computer and Information Sciences Department, 101A Smith Hall, University of Delaware, Newark, DE 19716-2586, U.S.A., case~cis .udel .edu. 2 Computer Science, Sacred Heart University, 5151 Park Avenue, Fairfield, CT 06432-1000, U.S.A., kinberCshu, sacredheart , edu. 3 School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, 2052, Australia, arun 9 unsw. edu. au. 4 Mathematisches Institut der Universits Heidelberg, Im Neuenheimer Feld 294, 69120 Heidelberg, Germany, fstephan0math.uni-heidelberg.de.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lexical Semantics and Selection of TAM in Bantu Languages: A Case of Semantic Classification of Kiswahili Verbs

The existing literature on Bantu verbal semantics demonstrated that inherent semantic content of verbs pairs directly with the selection of tense, aspect and modality formatives in Bantu languages like Chasu, Lucazi, Lusamia, and Shiyeyi. Thus, the gist of this paper is the articulation of semantic classification of verbs in Kiswahili based on the selection of TAM types. This is because the sem...

متن کامل

Impacts of Import Tariff Cuts on the Iranian Labor Market Structure: a Computable General Equilibrium Model Approach

 Most debates about the role of tariff cuts on the level of employment and rate of wages in labor market have come out of well-known Hecscher – Ohlin and Stopler – Samuelson (HOS) theorems. Considering the fact that we have divided the workforce into skilled and unskilled labors the present paper assesses the impacts of tariff cuts on labor market indicators in Iran. To address these issues...

متن کامل

Trade Liberalization and International Competitiveness in Iran: An Application of Computable General Equilibrium (CGE) Model

 Trade liberalization is often the core attention of foreign economic strategies in developing countries. Findings in the literature confirm a significant effect of free trade on developing economies through which the economic sectors benefit from technology transfer and spillovers and increasing production capacities and input productivity leading to international competitiveness. On the other...

متن کامل

Investigating the Use of Oil Revenues with the Assumption of Dutch Disease in Different Economic Sectors of Iran: a Dynamic Computable General Equilibrium (DCGE) Approach

The use of revenue from natural resources, including oil, has always attracted the attention of politicians, economists and political scientists as well as various social groups. Here, we study the optimal consumption of oil revenues under different interest rate and social discount rate scenarios, and presence of Dutch disease, using a dynamic computable general equilibrium approach.The result...

متن کامل

Spectra of Computable Models of Strongly Minimal Disintegrated Theories in Languages of Bounded Arity

In this paper, we consider the spectra of computable (or recursive) models of strongly minimal disintegrated theories. We conjecture that for any m, there are only finitely many spectra of computable models of strongly minimal disintegrated L-theories T in computable (but possibly infinite) relational languages L of arity at most m. We verify this conjecture here for binary and ternary language...

متن کامل

Spectra of Computable Models of Strongly Minimal Disintegrated Theories in Languages of Bounded Arity

In this paper, we consider the spectra of computable (or recursive) models of strongly minimal disintegrated theories. We conjecture that for any m, there are only finitely many spectra of computable models of strongly minimal disintegrated L-theories T in computable (but possibly infinite) relational languages L of arity at most m. We verify this conjecture here for binary and ternary language...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997